( 2007_minimaxi45 )